package edu.uic.cs.cs582.process;

import java.util.Map;

import edu.mit.jwi.item.POS;
import edu.uic.cs.cs582.data.Polarity;
import edu.uic.cs.cs582.data.Word;
import edu.uic.cs.cs582.process.impl.SatIndexParser.Index;

public interface CnfGenerator
{
	//	Collection<int[]> generateCnfs(POS pos, Word word, Polarity polarity);

	Map<int[], Index> generateCnfs(POS pos, Word word, Polarity polarity);
}
